Uses of Interface
edu.uky.ai.lp.logic.Expression

Packages that use Expression

Package	Description
edu.uky.ai.lp.ai	Contains classes for creating agents who play "Hunt the Wumpus".
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Expression in edu.uky.ai.lp.ai

Classes in edu.uky.ai.lp.ai with type parameters of type Expression

Modifier and Type	Class	Description
class	Prover<E extends Expression>	A prover is a Continuation used to find all the ways that a given logical expression can be proved true.

Fields in edu.uky.ai.lp.ai declared as Expression

Modifier and Type	Field	Description
E	Prover.expression	The expression to be proved

Uses of Expression in edu.uky.ai.lp.logic

Classes in edu.uky.ai.lp.logic that implement Expression

Modifier and Type	Class	Description
class	BooleanExpression	The superclass of all Boolean logical expressions.
class	Conjunction	Represents an expression with 1 or more conjuncts which must all be true.
class	Disjunction	Represents an expression with 1 or more disjuncts, at least one of which must be true.
class	Fact	A fact is an individual atomic logical statement in function-free predicate logic.
class	NAryBooleanExpression	The superclass of any Boolean expression with multiple arguments.
class	Negation	Represents an expression whose opposite is true.

Fields in edu.uky.ai.lp.logic declared as Expression

Modifier and Type	Field	Description
Expression	Rule.antecedent	The condition under which the consequent can be deduced
Expression	Negation.argument	The expression being negated
protected Expression[]	BooleanExpression.arguments	The arguments to which the operator applies
Expression[]	NAryBooleanExpression.arguments	The expression's arguments

Methods in edu.uky.ai.lp.logic that return Expression

Modifier and Type	Method	Description
Expression	Expression.substitute(Unifier unifier)
protected Expression[]	BooleanExpression.substituteArguments(Unifier unifier)	Returns the expression's arguments with their variables substituted.

Constructors in edu.uky.ai.lp.logic with parameters of type Expression

Constructor	Description
BooleanExpression(java.lang.String operator, Expression[] arguments)	Constructs a new Boolean expression with the given operator and arguments.
Conjunction(Expression... conjuncts)	Constructs a new conjunction with the given arguments.
Disjunction(Expression... disjuncts)	Constructs a new disjunction with the given arguments.
NAryBooleanExpression(java.lang.String operator, Expression[] arguments)	Constructs a new N-ary Boolean expression with the given arguments.
Negation(Expression argument)	Constructs a negation of the given argument.
Rule(Expression antecedent, Fact consequent)	Constructs a new rule with the given antecedent and consequent.